منابع مشابه
Enforcing ‘Self-Enforcing’ International Environmental Agreements
Theoretical analyses of international environmental agreements (IEAs) have typically employed the concept of self-enforcing agreements to predict the number of parties to such an agreement. The term self-enforcing, however, is a bit misleading. The concept refers to the stability of cooperative agreements, not to enforcing these agreements once they are in place. Most analyses of IEAs simply ig...
متن کاملTense like equality algebras
In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...
متن کاملEquality of proofs for linear equality
This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties of equality in question are those of a preordering relation, those of an equivalence relation, and other properties appropriate for an equality relation in linear logic. The guiding idea is that equality of proofs is ...
متن کاملApproximate equality is no fuzzy equality
We argue that fuzzy equivalences, and in particular fuzzy equalities, in general are not suitable to model approximate equality due to the notion of transitivity. Using them for this purpose therefore leads to counter-intuitive results, as we illustrate in detail in a fuzzy relationbased framework for the representation of linguistic modifiers. We solve the problem by choosing resemblance relat...
متن کاملEnforcing Ontological Rules
UML is used for at least two purposes: OO software design, and conceptual modeling. However, UML's origins in software engineering may limit its appropriateness for conceptual modeling. Evermann and Wand [5,6,7] have developed a set of formal ontological rules that constrain the construction of UML diagrams to reflect underlying ontological assumptions about the real world. This paper examines ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Intersections
سال: 2019
ISSN: 2416-089X
DOI: 10.17356/ieejsp.v5i2.566